Standard Type Soundness for Agents and Artifacts
نویسندگان
چکیده
منابع مشابه
Standard Type Soundness for Agents and Artifacts
Formal models, core calculi, and type systems, are important tools for rigorously stating the more subtle details of a language, as well as characterizing and studying its features and the correctness properties of its programs. In this paper we present FAAL (Featherweight Agent and Artifact Language), a formal calculus modelling the agent and artifact program abstractions provided by the simpA...
متن کاملType Soundness for Path Polymorphism
Path polymorphism is the ability to define functions that can operate uniformly over arbitrary recursively specified data structures. Its essence is captured by patterns of the form x y which decompose a compound data structure into its parts. Typing these kinds of patterns is challenging since the type of a compound should determine the type of its components. We propose a static type system (...
متن کاملType soundness for Core Mezzo
Mezzo is a programming language in the tradition of ML. It offers algebraic data types, first-class functions, and a system of duplicable or affine permissions that controls aliasing and access to mutable memory. We present a formal definition of Core Mezzo, an explicitly-typed calculus that underlies Mezzo, and establish the soundness of its type and permission system. Our definitions and proo...
متن کاملType Soundness and Race Freedom for Mezzo
The programming language Mezzo is equipped with a rich type system that controls aliasing and access to mutable memory. We incorporate shared-memory concurrency into Mezzo and present a modular formalization of its core type system, in the form of a concurrent λ-calculus, which we extend with references and locks. We prove that welltyped programs do not go wrong and are data-race free. Our defi...
متن کاملAgents and Coordination Artifacts for Feature Engineering
Agents and Multi-Agent Systems (MAS) are considered a suitable paradigm for engineering complex systems. Interaction is a primary source of this complexity and coordination plays a key role for its management, providing the means for modelling and shaping the agent interaction space so as to engineer the global behaviour of the system as a whole. Feature-based systems are certainly complex syst...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Scientific Annals of Computer Science
سال: 2012
ISSN: 1843-8121,2248-2695
DOI: 10.7561/sacs.2012.2.267